441![Are there Hard Examples for Frege Systems? Maria Luisa Bonet Are there Hard Examples for Frege Systems? Maria Luisa Bonet](https://www.pdfsearch.io/img/fda727ac7ea736e7b2e971460d50ab24.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2004-11-24 07:53:45
|
---|
442![Theoretical Elsevier Theoretical Elsevier](https://www.pdfsearch.io/img/4769fff0f0bec2eeefc62e42b722cb50.jpg) | Add to Reading ListSource URL: www.univr.itLanguage: English - Date: 2012-11-16 08:23:50
|
---|
443![Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder](https://www.pdfsearch.io/img/3fe8dacc77340743d6e9b30f3f7bd7bf.jpg) | Add to Reading ListSource URL: www.cosy.sbg.ac.atLanguage: English - Date: 2005-08-09 12:26:52
|
---|
444![Mathematical Logic Helmut Schwichtenberg Mathematical Logic Helmut Schwichtenberg](https://www.pdfsearch.io/img/3a26cb5d9701d04ec45356a83cc0cefc.jpg) | Add to Reading ListSource URL: www.mathematik.uni-muenchen.deLanguage: English - Date: 2010-07-21 04:18:08
|
---|
445![ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS](https://www.pdfsearch.io/img/0a408066d13968cf0064b6fd6ebf0de0.jpg) | Add to Reading ListSource URL: suppes-corpus.stanford.eduLanguage: English - Date: 2008-11-05 20:24:12
|
---|
446![Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek](https://www.pdfsearch.io/img/689e32b188a120fc3487a53c1c236d9b.jpg) | Add to Reading ListSource URL: www.math.cas.czLanguage: English - Date: 2008-11-24 09:00:50
|
---|
447![Annals of Mathematics, [removed]), 459–489 Proof of the Double Bubble Conjecture Annals of Mathematics, [removed]), 459–489 Proof of the Double Bubble Conjecture](https://www.pdfsearch.io/img/9efe9ae3a7572b6a9f5daba1dc554d5a.jpg) | Add to Reading ListSource URL: www.ugr.esLanguage: English - Date: 2006-05-08 18:37:09
|
---|
448![DRAFT New Equations for Neutral Terms DRAFT New Equations for Neutral Terms](https://www.pdfsearch.io/img/1a1901f468669fd0a7373e0013abe0a0.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2013-07-04 11:01:23
|
---|
449![. Wesleyan University . . Wesleyan University .](https://www.pdfsearch.io/img/7310db65e380197a3d436a9341f80d3e.jpg) | Add to Reading ListSource URL: emorehouse.web.wesleyan.eduLanguage: English - Date: 2013-04-18 17:56:39
|
---|
450![Propositions as Sessions Philip Wadler University of Edinburgh Propositions as Sessions Philip Wadler University of Edinburgh](https://www.pdfsearch.io/img/a79b9a0ac88e3415863b3c9f791ecc06.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2012-08-31 07:10:39
|
---|